Knihy od autora Jim Woodcock

Zobrazeno 1 – 14 z 14 výsledků

1. 

   Formal Methods and Hybrid Real-Time Systems

   Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
2. 

   Software Engineering for Robotics

   Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022

   
   

   Skladem u dodavatele - Odesíláme za 8-11 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2989 Kč

   Koupit
3. 

   Theories of Programming and Formal Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
4. 

   Refinement Techniques in Software Engineering

   Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
5. 

   Verified Software: Theories, Tools, Experiments

   Natarajan Shankar, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
6. 

   Theoretical Aspects of Computing -- ICTAC 2013

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
7. 

   Formal Methods: Foundations and Applications

   Marcel Vinícius Medeiros Oliveira, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
8. 

   Dependable Software Engineering. Theories, Tools, and Applications

   Wenhui Zhang, Jim Woodcock | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1871 Kč

   Koupit
9. 

   Unifying Theories of Programming and Formal Engineering Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
10. 

    Theoretical Aspects of Computing

    Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-21 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1355 Kč

    Koupit
11. 

    Software Engineering for Robotics

    Brijesh Dongol, Jim Woodcock, Jon Timmis, Rob Hierons | Springer Nature Switzerland AG, 2021

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2989 Kč

    Koupit
12. 

    Verified Software: Theories, Tools, Experiments

    Bertrand Meyer, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2492 Kč

    Koupit
13. 

    Formal Methods and Software Engineering

    Jin Song Dong, Jim Woodcock | Springer, Berlin, 2003

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2492 Kč

    Koupit
14. 

    Domain Modeling and the Duration Calculus

    Chris George, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1350 Kč

    Koupit

Doručení zdarma pro objednávky nad 1499 Kč Zjistěte více